Hydra: A Functional Hybrid Modeling Language
نویسنده
چکیده
This is a summary of the design ofHydra, a language prototype for Functional Hybrid Modeling. Hydra is used for non-causal modeling specifications, and based on first-class signal relations, complex systems can be composed by components in a functional way. Reactivity is introduced in Hydra to handle event and discontinuity in such hybrid systems. The experience in studying the semantics and implementing Hydra allows us more insights into the much unexplored field of functional hybridmodeling, so as to guide our future research.
منابع مشابه
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties
We previously developed a framework, Hydra, for adding formal semantics to a collection of UML diagrams that enable the automated derivation of formal language specifications for those diagrams. Recently, we have also identified a number of requirements patterns for embedded systems that includes sample UML structural and behavioral diagrams for modeling requirements and high-level design for e...
متن کاملPhysical Modeling of a Hybrid Wind Turbine-solar Panel System Using Simscape Language (RESEARCH NOTE)
Being sustainable and producing little waste products, the renewable energy knows a rapid deployment. Unfortunately, the intermittent characteristic of these energies makes them difficult to control. The influence of this aleatory character can be reduced with the coupling of two or more sources of renewable energy and secondly with a sound management of storage systems. This new configuration ...
متن کاملFunctional Hybrid Modeling from an Object-Oriented Perspective
The modeling and simulation of physical systems is of key importance in many areas of science and engineering, and thus can benefit from high-quality software tools. In previous research we have demonstrated how functional programming can form the basis of an expressive language for causal hybrid modeling and simulation. There is a growing realization, however, that a move toward non-causal mod...
متن کاملFunctional Hybrid Modeling
The modeling and simulation of physical systems is of key importance in many areas of science and engineering, and thus can benefit from high-quality software tools. In previous research we have demonstrated how functional programming can form the basis of an expressive language for causal hybrid modeling and simulation. There is a growing realization, however, that a move toward non-causal mod...
متن کاملEmbedding a Functional Hybrid Modelling Language in Haskell
In this paper we present the first investigation into the implementation of a Functional Hybrid Modelling language for non-causal modelling and simulation of physical systems. In particular, we present a simple way to handle connect constructs: a facility for composing model fragments present in some form in most non-causal modelling languages. Our implementation is realised as a domain-specifi...
متن کامل